This notification is to advise you that the latest issue of IEEE Transactions on Software Engineering is currently available to view online. 


IEEE Transactions on Software Engineering 
October 2003, Vol. 29, No. 10 
http://csdl.computer.org/comp/trans/ts/2003/10/extoc.htm 


SPECIAL SECTION ON THE INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING 

Guest Editor's Introduction 
W.G. Griswold 

Template Semantics for Model-Based Notations 
J. Niu, J.M. Atlee, and N.A. Day 

Searching for Points-To Analysis 
G. Bruns and S. Chandra 

Temporal Logic Query Checking: A Tool for Model Exploration 
A. Gurfinkel, M. Chechik, and B. Devereux 

Using Redundancies to Find Errors 
Y. Xie and D. Engler 

CARISMA: Context-Aware Reflective mIddleware System for Mobile Applications 
L. Capra, W. Emmerich, and C. Mascolo 

REGULAR PAPERS 

Architectural-Level Risk Analysis Using UML 
K. Goseva-Popstojanova, A. Hassan, A. Guedem, W. Abdelmoez, D.E.M. Nassar, H. Ammar, and A. Mili --------------------------------------------------- 
If you wish to be removed from this mailing list, send a message to listserv@computer.org with the following text in the body of the message: 

unsubscribe tse_subscribers 

---------------------------------------------------